Computer algebra - PDFSEARCH.IO - Document Search Engine

Computer algebra
Results: 2963

#	Item
671	New Absoft Pro Fortran v11.0 Advances Development of OpenMP Code on AMD & Intel ROCHESTER HILLS, Michigan, September 24, 2009 – Absoft Corporation, a leading developer of compilers, debuggers and software development t Add to Reading List Source URL: www.absoft.com Language: English - Date: 2013-05-29 09:32:50 Numerical linear algebra Numerical software Parallel computing Fortran OpenMP Automatic parallelization LAPACK The Portland Group Linux Computing Computer programming Software
672	Microsoft PowerPoint - isc-talk-2006 Add to Reading List Source URL: www.netlib.org Language: English - Date: 2006-07-04 05:06:00 Numerical linear algebra Numerical software Supercomputers TOP500 HPC Challenge Benchmark Benchmark LINPACK FLOPS High Productivity Computing Systems Computing Computer hardware Parallel computing
673	Dexter Campbell Kozen May 2, 2015 Office Computer Science Department 436 Gates Hall Cornell University Add to Reading List Source URL: www.cs.cornell.edu Language: English - Date: 2015-05-26 17:53:30 Formal languages Algebraic logic Algebraic structures Dexter Kozen Kleene algebra Action algebra Rohit Jivanlal Parikh Közen Workshop on Logic Language Information and Computation Mathematics Logic Mathematical logic
674	A Study on the Planar Rectification of Self-Calibrated Stereo Images Jong Soo Lee School of Computer Engineering and Information Technologies, Univ. of Ulsan Ulsan, , Korea and Add to Reading List Source URL: prism2.mem.drexel.edu Language: English - Date: 2008-10-12 15:57:37 Transformation Linear algebra Matrices Projective geometry Image processing Epipolar geometry Fundamental matrix Image rectification Eight-point algorithm Geometry Algebra Mathematics
675	-1322705Microsoft® Mathematics for Educators Step-by-Step 00Microsoft® Mathematics for Educators Step-by-Step Familiarize yourself with the interface When you first open Microsoft Mat Add to Reading List Source URL: download.microsoft.com Language: English - Date: 2011-01-27 15:59:30 Mathematical software Programmable calculators Numerical software Theoretical computer science Microsoft Mathematics Solver Simultaneous equations Graphing calculator Graph of a function Mathematics Elementary algebra Charts
676	Lower Bounds on Rate of Convergence of Cutting Plane Methods Xinhua Zhang Dept. of Computing Science University of Alberta Add to Reading List Source URL: people.cs.uchicago.edu Language: English - Date: 2010-11-03 13:50:24 Operations research Mathematical optimization Support vector machines Convex optimization Statistical classification Sequential minimal optimization Linear programming Time complexity Dynamic programming Mathematics Algebra Theoretical computer science
677	A Case for Performance-Centric Network Allocation Gautam Kumar, Mosharaf Chowdhury, Sylvia Ratnasamy, Ion Stoica University of California, Berkeley {gautamk, mosharaf, sylvia, istoica}@eecs.berkeley.edu Abstract Add to Reading List Source URL: www.eecs.berkeley.edu Language: English - Date: 2012-11-27 06:16:41 Parallel computing Eigenvalues and eigenvectors Linear algebra Singular value decomposition Computer cluster MapReduce Actor model Scalability Computing Algebra Concurrent computing
678	Fully Automatic Elastic Registration of MR Images With Statistical Feature Extraction Martin Held∗ Werner Weiser Add to Reading List Source URL: www.cosy.sbg.ac.at Language: English - Date: 2013-08-06 05:57:45 Computer vision Mathematics Transformation Singular value decomposition Multivariate statistics Segmentation Region growing Image registration Thin plate spline Image processing Geometry Algebra
679	A Hidden Herbrand Theorem: Combining the Object and Logic Paradigms Joseph Goguen Dept. Computer Science & Engineering University of California, San Diego Add to Reading List Source URL: cseweb.ucsd.edu Language: English - Date: 2001-11-18 00:50:05 Mathematical structures Algebraic structures Algebras Algebra over a field Structure Term algebra Boolean algebra Universal enveloping algebra Clifford algebra Abstract algebra Algebra Mathematics
680	Journal of Universal Computer Science, vol. 11, no), submitted: , accepted: 4/6/05, appeared: © J.UCS Model Checking, Automated Abstraction, and Compositional Verification of Rebeca Mod Add to Reading List Source URL: jucs.org Language: English - Date: 2006-11-02 05:53:39 Rebec FO Mathematical logic Mathematics Boolean algebra Theoretical computer science Boolean data type

UPDATE